121. Coroutines : a programming methodology, a language design, and an implementation

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Coroutines )Computer programs(,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
95

122. Current issues in computer simulation

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Digital computer simulation,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
C65
C87

123. DIANA An Intermediate Language for Ada

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
73
.
A35
E358
1983

124. Data abstraction in programming languages

پدیدآورنده :

موضوع : ، Programming languages )Electronic computers(,، Data structures )Computer science(

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

125. Data analysis and visualization using Python :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Data mining.,Programming languages (Electronic computers),Python (Computer program language),Qualitative research-- Methodology.,Computer programming-- software development.,COMPUTERS-- Programming Languages-- Python.,Data mining.,Databases.,Programming & scripting languages: general.,Programming languages (Electronic computers),Python (Computer program language),Qualitative research-- Methodology.

رده :
QA76
.
73
.
P98
E43
2018eb

126. Data structures, files and databases

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Data bases,، Data structures )Computer science(,، Programming languages )Electronic computers(

رده :
QA
76
.
9
.
D32
B3
1991

127. Data types and structures

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Data structures (Computer science),Programming languages (Electronic computers)

رده :
QA
،
76
.
9
،.
D35
,
G67

128. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :
QA
76
.
9
.
D35
.
I351
1995

129. Declarative agent languages and technologies V

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Programming languages (Electronic computers) ; Congresses. ; Declarative programming ; Congresses. ; Intelligent agents (Computer software) ;

130. Declarative agent languages and technologies V

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses

رده :
QA
,
76
.
76
,.
I58
,
D43
,
2007

131. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(

رده :
QA
76
.
L28
Vol
.
2990

132. Deductive Software Verification – The KeY Book

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار

رده :
E-Book
,

133. Definition du language algorithmique algol 68

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(

رده :
QA
76
.
5
.
B8

134. Designing embedded systems with the SIGNAL programming language

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony

رده :
TK
،
7895
،.
E42
,
G35
،
2010

135. Designing systems programs

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER

رده :
QA
76
.
5
.
G35

136. Digital simulation of continuous systems

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Digital Computer simulation,، Programming languages )Electronic computers(

رده :
QA
76
.
5
.
C49

137. Digital simulation of continuous systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Digital computer simulation,Programming languages (Electronic computer)

رده :
001
.
424
C559d

138. Digital simulation of continuous systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : DIGITAL COMPUTER SIMULATION , PROGRAMMING LANGUAGES )ELECTRONIC COMP

رده :
QA
76
.
5
.
C49

139. Dive into Python 3

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers),Python (Computer program language)

رده :
QA76
.
73
.
P98
M375
2009

140. Domain-specific modelin

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Programming languages (Electronic computers),Computer software--Development

رده :
QA
,
76
.
7
,.
K45
,
2008eb